Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
601	Sketch-based Change Detection: Methods, Evaluation, and Applications Balachander Krishnamurthy, Subhabrata Sen, Yin Zhang AT&T Labs–Research; 180 Park Avenue Florham Park, NJ, USA Add to Reading List Source URL: sahara.cs.berkeley.edu Language: English - Date: 2004-05-18 19:08:36 Time series models Time series analysis Statistical forecasting Estimation theory Computational neuroscience Autoregressive integrated moving average Autoregressive model Forecasting Exponential smoothing Forecast error Time series Anomaly detection
602	PRINCETON STUDIES IN INTERNATIONAL FINANCE No. 77, February 1995 THE HECKSCHER-OHLIN MODEL IN THEORY AND PRACTICE EDWARD E. LEAMER Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2005-04-29 15:33:30 International trade theory HeckscherOhlin model International economics Comparative advantage Heckscher Wassily Leontief Labour economics Economics Leontief paradox Bertil Ohlin
603	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2010-08-07 06:03:33 Automated theorem proving Model theory Formal methods Constraint programming Resolution Skolem normal form Lambda calculus Satisfiability Boolean satisfiability problem Conjunctive normal form
604	Estimation of a Rasch model including subdimensions Steffen Brandt Leibniz Institute for Science Education, Kiel, Germany Many achievement tests, particularly in large-scale assessments, deal with Add to Reading List Source URL: ierinstitute.org Language: English - Date: 2012-01-04 07:01:18 Psychometrics Rasch model Item response theory Scale Factor analysis Rasch Psychometric software
605	The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Rules of inference Resolution Model theory Logic in computer science Logic programming First-order logic Modal logic Prolog E theorem prover Superposition calculus CARINE
606	A psychoanalytic model of the child-in-the-family-in-thecommunity 1 Introduction Donald Meltzer and Martha Harris (1976) Add to Reading List Source URL: transitionalspace.files.wordpress.com Language: English - Date: 2016-02-26 17:44:46 Object relations theory Psychoanalytic theory Defence mechanisms Borderline personality disorder Donald Meltzer Freudian psychology Wilfred Bion Martha Harris Paranoid-schizoid and depressive positions Melanie Klein Psychoanalysis Projective identification
607	Ann Inst Stat Math:725–764 DOIs10463Parameter estimation for a generalized semiparametric model with repeated measurements Shujie Ma · Zijian Huang · Chih-Ling Tsai Add to Reading List Source URL: www.ism.ac.jp Language: English - Date: 2016-08-02 06:58:13 Statistical inference Statistical theory Statistical models Estimation theory Econometrics Semiparametric model Nonparametric statistics Regression analysis Statistics Estimator
608	Wrong Turn - No Dead End: a Stochastic Pedestrian Motion Model Add to Reading List Source URL: europa.informatik.uni-freiburg.de Language: English - Date: 2010-08-02 04:51:17 Stochastic processes Statistical mechanics Albert Einstein Brownian motion Colloidal chemistry Autoregressive model Control theory
609	Genome Informatics 11: 289–Emergent of Networks Based on Relationship among Elements Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2001-02-21 04:25:10 Networks Network theory Graph theory Gene expression Gene regulatory network Systems biology Network science BarabsiAlbert model
610	Informatics in Education, 2014, Vol. 13, No. 2, 197–208 © 2014 Vilnius University DOI: http://dx.doi.orginfedu Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2016-05-03 12:24:06 Artificial life Multi-agent systems Simulation Constructionism Educational psychology Learning theory NetLogo Agent-based model

UPDATE